Auto merge of #2809 - cardoe:config-updates, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 29 Jun 2016 16:27:12 +0000 (09:27 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Jun 2016 16:27:12 +0000 (09:27 -0700)
respect configure options for paths

This change causes the installed paths of some files to respect the options passed to configure. It additionally adds another option and removes an unused option.


Trivial merge